Compositional workflow modeling with priority constraints

Priority is an important concept in Business Process Management (BPM), useful the context of workflow patterns such as, e.g., cancelable and compensable tasks within business transactions. Unfortunately, presence priority workflows makes them difficult to be analyzed formally by automated validation verification tools. In past, we demonstrated that Reo coordination language can successfully used for modeling, automatic model checking process models. this paper, propose a constraint-based approach formalize Reo. We introduce special channels initiate, propagate, block flows, define their semantics as constraints, propagation Constraint Satisfaction Problem (CSP). The semantic extension paper enables analysis constraints.